Search results for "Law of excluded middle"

showing 2 items of 2 documents

A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms

1983

All known connectives 'and'/'or' for fuzzy sets or some classes can be introduced as t-norms/t-conorms, where Ling's representation theorem is used as a basic tool, and which is illustrated by various known and new examples (Section 2). Given a strict negation function and one connective, the other can be constructed, so that the corresponding De Morgan law is valid. In case of given Archimedean connectives, there can be constructed negation functions (Section 3). Given a non-strict Archimedean connective, a negation function and the other connective can be constructed, so that in addition to the De Morgan laws, the excluded middle law and the law of non-contradiction are valid, i.e. the ne…

Discrete mathematicsPure mathematicsRepresentation theoremLogicLaw of excluded middleFuzzy setT-normType (model theory)De Morgan's lawssymbols.namesakeNegationArtificial IntelligencesymbolsComplement (set theory)MathematicsFuzzy Sets and Systems
researchProduct

Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.

2014

This short paper just considers the possibility of a new view for posing and proving the Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.

Pure mathematicsSettore INF/01 - InformaticaLaw of excluded middlemedia_common.quotation_subjectShort paperComputer Science ApplicationsTheoretical Computer ScienceControl and Systems EngineeringNon-Contradiction Excluded-Middle Consequences Refutations ConjecturesModeling and SimulationCalculusFalsifiabilityContradictionAlgebraic numberInformation SystemsMathematicsmedia_common
researchProduct